Wyniki
-
On Set Theory as a Foundation for Computer Science
F.A. Doria, N.C.A. da Costa
Bulletin of the Section of Logic , 33 /1 (2004) s. 33-40 -
On the problem of Jaskowski and the logics of Lukasiewicz
Jerzy Kotas, Newton C.A. da Costa
Bulletin of the Section of Logic , 7 /2 (1978) s. 91 -
Incomplete satisfiability problems
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 22 /4 (1993) s. 150-157 -
A note on temporal logic
Newton C.A. da Costa, S. French
Bulletin of the Section of Logic , 18 /2 (1989) s. 51-121 -
On the existence of very difficult satisfiability problem
Newton C.A. da Costa, F.A. Doria
Bulletin of the Section of Logic , 21 /4 (1992) s. 122-133 -
Relations between paraconsistent logic and many-valued logic
Newton C.A. da Costa, Elias H. Alves
Bulletin of the Section of Logic , 10 /4 (1981) s. 185-190 -
Carnot's logic
Newton C.A. da costa, Jean-Yves Beziau
Bulletin of the Section of Logic , 22 /3 (1993) s. 98-105 -
Logic with deontic and legal modalities : preliminary account
Leila Z. Puga, Newton C.A. da Costa
Bulletin of the Section of Logic , 16 /2 (1987) s. 71-75 -
The undecidability of formal definitions in the theory of finite groups
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji
Bulletin of the Section of Logic , 24 /2 (1995) s. 56-63